bitkeeper revision 1.1159.6.2 (41176d3eHxHC1VGHGu53bIhNRwFGGg)
authormjw@wray-m-3.hpl.hp.com <mjw@wray-m-3.hpl.hp.com>
Mon, 9 Aug 2004 12:25:34 +0000 (12:25 +0000)
committermjw@wray-m-3.hpl.hp.com <mjw@wray-m-3.hpl.hp.com>
Mon, 9 Aug 2004 12:25:34 +0000 (12:25 +0000)
commit754df6c6f48f031830ab59fc5d66ced3a9a4c9d7
tree506cbffdf1a8b075e4eca72dc163c72257d06db8
parent3d3c4e1d6389e91fc67a3b890580dde08be3c5f0
bitkeeper revision 1.1159.6.2 (41176d3eHxHC1VGHGu53bIhNRwFGGg)

Keep domain list up-to-date on domain shutdown.
tools/python/xen/xend/XendDomain.py